| |
| description |
Every embedded real-time system is inevitably time restricted.
Therefore, worst-case execution times (WCETs) have to be known. The
static timing analysis of embedded software promises the calculation
of safe upper time bounds. We present the results of a case study
which reveal the special challenges of this methodology in the
automotive domain. For most of the encountered problems we describe
our solutions or propose possible methods for a solution.
|
| publisher |
IEEE CS Press
|
| type |
Text
|
| Article in Proceedings
|
| source |
In: 2nd IEEE International Symposium on Leveraging Applications of
Formal Methods, Verification and Validation, Paphos (Cyprus),
November 15-19, 2006, pp. 1-6
|
| contributor |
IPVS, Bildverstehen
|
|
| subject |
Robotics (CR I.2.9)
| | Vision and Scene Understanding (CR I.2.10)
| | Distributed Artificial Intelligence (CR I.2.11)
| | embedded real-time systems
| | automotive safety
| |